arm: gic: fix build on arm64
authorIan Campbell <ian.campbell@citrix.com>
Wed, 6 Mar 2013 08:54:35 +0000 (08:54 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 11 Apr 2013 08:34:58 +0000 (09:34 +0100)
commit8424523b15b89f8252b02d431a5945f2c22bf343
tree4214e946355aef544efb96f733ba637567dc0dd5
parentdb453468d92369e7182663fb13e14d83ec4ce456
arm: gic: fix build on arm64

lr_mask is a uint64_t and so needs to be printed with PRIx64.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
xen/arch/arm/gic.c